例句與造句

1. max-product fuzzy context-free grammars and pushdown automata
   上下無關(guān)文法與下推自動(dòng)機(jī)
2. a formal definition of proposition formulae was provided by context-free grammar, and the conversion from proposition formulae to polynomials was solved automatically
   摘要該文將命題邏輯的定理證明轉(zhuǎn)換為多項(xiàng)式方程的求解問題，從而提出了一種基于非子句的代數(shù)化方法。
3. as a member of the team researching and developing the new generation of atc ( air traffic control ) system ( named mrd2k-jh ) for chinese air force, the author devotes his energies in the work of fdp ( flight data process ) . this thesis first introduces what is atc system and the present status of atc systems in china, then sets forth the design and structure of the new mrd2k atc system, based on the research and adjustment to the actual environment, essential technical points of fdp are presented in detail : the interface of traffic telegram and decoding algorithm : in this part, the application interface of eicon x . 25 card for mrd2k is introduced, and then the realization of a decoding algorithm based on context-free grammar is described in detail, which replaces the traditional method that decoding each telegram using a corresponding subprogram
   本文基于我國新一代軍航空中交通管制(airtrafficcontrol)系統(tǒng)mrd2k-jh的研制開發(fā)過程，首先介紹了空中交通管制系統(tǒng)的概況和現(xiàn)狀，然后從建立空管自動(dòng)化系統(tǒng)的角度闡述了mrd2k的詳細(xì)設(shè)計(jì)和系統(tǒng)結(jié)構(gòu)，接著結(jié)合作者參與的系統(tǒng)重要部分飛行數(shù)據(jù)處理(flightdataprocess)的工作，在進(jìn)行了大量深入研究和與實(shí)際環(huán)境相切合的基礎(chǔ)上，針對其中的諸多技術(shù)細(xì)節(jié)，提出了經(jīng)實(shí)際驗(yàn)證富有效用的解決方案。
4. first, the paper researches the format and semantic features of iso apt in detail, next, applies regular expression to describe the definition of apt ’ s tokens and uses context-free grammar to describe apt ’ s syntax rules, last, designs the intermediate code format which keeps on the source code semantic and designs a complete module to check lexical and syntax errors of nc code by using modern compiling techniques
   在代碼預(yù)處理技術(shù)方面,詳細(xì)研究了標(biāo)準(zhǔn)數(shù)控代碼語言的格式和語義并采用現(xiàn)代編譯技術(shù)中的正則表達(dá)式和上下文無關(guān)文法分別描述了標(biāo)準(zhǔn)數(shù)控代碼語言的記號(hào)定義和語法結(jié)構(gòu)定義;設(shè)計(jì)了保持源代碼語義的中間標(biāo)準(zhǔn)數(shù)控代碼格式,在此基礎(chǔ)上,設(shè)計(jì)并構(gòu)建了數(shù)控代碼的詞法和語法檢查模塊。
5. It's difficult to find context - free grammar in a sentence. 用context - free grammar造句挺難的